318 titles have been found.   Recent search "Philosophy of Mathematics, Logic" 10102550100 Results per page ACKERMANN, Wilhelm 13 Sonderabdrucke zur mathematischen Logik 1924 - 1956. Begruendung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit (Dissertation 1924 bei D. Hilbert. Vorderdeckel fehlt).- UEber die Erfuellbarkeit gewisser Zaehlausdruecke (1928).- Zum Hilbertschen Aufbau der reellen Zahlen (1928).- Untersuchungen ueber das Eliminationsproblem der mathematischen Logik (1934).- Zum Eliminationsproblem der mathematischen Logik (1935).- Beitraege zum Entscheidungsproblem der mathematischen Logik (1936).- Mengentheoretische Begruendung der Logik (1937).- Die Widerspruchsfreiheit der allgemeinen Mengenlehre (1937).- Zur Widerspruchsfreiheit der Zahlentheorie (1940).- Widerspruchsfreier Aufbau der Logik I: Typenfreies System ohne Tertium Non Datur (1950).- Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse (1951).- Begruendung einer strengen Inplikation (1956).- Zur Axiomatik der Mengenlehre (1956).- "Als Schueler von D. Hilbert baute Ackermann in seiner Dissertation einen zahlentheoretischen Kalkuel auf der Basis des Hilbertschen E-Symbols auf und fuehrte spaeter mehrere Widerspruchsfreiheitsbeweise fuer die Arithmetik und Teilgebiete der Mengentheorie und Logik. Zur Vermeidung von Paradoxien der materialen Implikation definierte Ackermann eine strenge Implikation und entwickelte deren Theorie." (Lexikon bedeutender Mathematiker). 150,00 € ANDREWS, Peter B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. 2nd ed. Dordrecht, Kluwer (2002). gr.8. XVIII, 390 p. Hardbound. Applied Logic Series. 27.- In very good condition. 60,00 € ASSER, Guenter Einfuehrung in die mathematische Logik. 3 Bde. 1./.1./5. Aufl. Zuerich, Deutsch (1972-813). IV, 184, 190, 164 S. OHLwd. Mathematisch Naturwissenschaftliche Bibliothek. 18-20.- I: Aussagenkalkuel.- II: Praedikatenkalkuel der ersten Stufe.- III: Praedikatenlogik hoeherer Stufe.- Name auf Vorsaetzen und Titeln. gering gebraeunt. sonst sehr gut erhalten. 30,00 € AUMANN, Georg Wert und angeblicher Unwert der Mathematik. Ihr Verstaendnis einst und jetzt. Muenchen, TUM 1981. 5 Abb. 27 S. OKart. 8,00 € BALDUS, Richard Formalismus und Intuitionismus in der Mathematik. Karlsruhe, Braun 1924. 45 S. OKart. (etwas gebraeunt).- Wissen und Wirken. 11. 10,00 € BANDEMER, Hans Ratschlaege zum mathematischen Umgang mit UngewiSSheit. Reasonable Computing. Stgt. Teubner 1997. gr.8. Einige Abb. 228 S. OPp. Mit Literaturverzeichnis.- Wie neu. 20,00 € BANDEMER, Hans Mathematik und UngewiSSheit. Drei Essais zu Problemen der Anwendung. Lpz., EAGLE (2005). 156 S. OKart. EAGLE. 023.- Gut erhalten. 10,00 € BARTON, Bill The Language of Mathematics. Telling Mathematical Tales. Berlin, Springer (2008). gr.8. X, 186 p. Hardbound. Mathematics Education Library. volume 46.- Incl. bibliography.- Like new. 25,00 € BARWISE, Jon (ed.) The Syntax and Semantics of Infinitary Language. Bln., Springer (1968). 4. 268 p. Pbck. (slightly stained).- Lecture Notes in Mathematics. 72. 15,00 € BECKERT, Herbert Axiomatik - Mathematik und Erfahrung. Bln., Akademie 1985. 18 S. OKart. Sitzungsberichte der saechsischen Akademie der Wissenschaften zu Leipzig. Mathematisch-naturwissenschaftliche Klasse. Bd. 118. Heft 2. 9,00 € [318] titles have been found - Titles [1]-[10] - Show next titles